Verifying Probabilisti Pro edural Programs
نویسنده
چکیده
منابع مشابه
MOPS : an Infrastructure for Examining Security Properties of Softwarey
ABSTRACT We des ribe a formal approa h for nding bugs in se urityrelevant software and verifying their absen e. The idea is as follows: we identify rules of safe programming pra ti e, enode them as safety properties, and verify whether these properties are obeyed. Be ause manual veri ation is too expensive, we have built a program analysis tool to automate this pro ess. Our program analysis mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004